3.651 \(\int \frac{1}{(d+e x)^3 \sqrt{f+g x} \sqrt{a+c x^2}} \, dx\)

Optimal. Leaf size=1257 \[ \text{result too large to display} \]

[Out]

-(e^2*Sqrt[f + g*x]*Sqrt[a + c*x^2])/(2*(c*d^2 + a*e^2)*(e*f - d*g)*(d + e*x)^2)
 + (3*e^2*(a*e^2*g - c*d*(2*e*f - 3*d*g))*Sqrt[f + g*x]*Sqrt[a + c*x^2])/(4*(c*d
^2 + a*e^2)^2*(e*f - d*g)^2*(d + e*x)) + (3*Sqrt[-a]*Sqrt[c]*e*(a*e^2*g - c*d*(2
*e*f - 3*d*g))*Sqrt[f + g*x]*Sqrt[1 + (c*x^2)/a]*EllipticE[ArcSin[Sqrt[1 - (Sqrt
[c]*x)/Sqrt[-a]]/Sqrt[2]], (-2*a*g)/(Sqrt[-a]*Sqrt[c]*f - a*g)])/(4*(c*d^2 + a*e
^2)^2*(e*f - d*g)^2*Sqrt[(Sqrt[c]*(f + g*x))/(Sqrt[c]*f + Sqrt[-a]*g)]*Sqrt[a +
c*x^2]) + (Sqrt[-a]*Sqrt[c]*g*Sqrt[(Sqrt[c]*(f + g*x))/(Sqrt[c]*f + Sqrt[-a]*g)]
*Sqrt[1 + (c*x^2)/a]*EllipticF[ArcSin[Sqrt[1 - (Sqrt[c]*x)/Sqrt[-a]]/Sqrt[2]], (
-2*a*g)/(Sqrt[-a]*Sqrt[c]*f - a*g)])/(2*(c*d^2 + a*e^2)*(e*f - d*g)*Sqrt[f + g*x
]*Sqrt[a + c*x^2]) - (3*Sqrt[-a]*Sqrt[c]*e*f*(a*e^2*g - c*d*(2*e*f - 3*d*g))*Sqr
t[(Sqrt[c]*(f + g*x))/(Sqrt[c]*f + Sqrt[-a]*g)]*Sqrt[1 + (c*x^2)/a]*EllipticF[Ar
cSin[Sqrt[1 - (Sqrt[c]*x)/Sqrt[-a]]/Sqrt[2]], (-2*a*g)/(Sqrt[-a]*Sqrt[c]*f - a*g
)])/(4*(c*d^2 + a*e^2)^2*(e*f - d*g)^2*Sqrt[f + g*x]*Sqrt[a + c*x^2]) + (3*Sqrt[
-a]*Sqrt[c]*d*g*(a*e^2*g - c*d*(2*e*f - 3*d*g))*Sqrt[(Sqrt[c]*(f + g*x))/(Sqrt[c
]*f + Sqrt[-a]*g)]*Sqrt[1 + (c*x^2)/a]*EllipticF[ArcSin[Sqrt[1 - (Sqrt[c]*x)/Sqr
t[-a]]/Sqrt[2]], (-2*a*g)/(Sqrt[-a]*Sqrt[c]*f - a*g)])/(4*(c*d^2 + a*e^2)^2*(e*f
 - d*g)^2*Sqrt[f + g*x]*Sqrt[a + c*x^2]) + (c*(e*f - 3*d*g)*Sqrt[(Sqrt[c]*(f + g
*x))/(Sqrt[c]*f + Sqrt[-a]*g)]*Sqrt[1 + (c*x^2)/a]*EllipticPi[(2*e)/((Sqrt[c]*d)
/Sqrt[-a] + e), ArcSin[Sqrt[1 - (Sqrt[c]*x)/Sqrt[-a]]/Sqrt[2]], (2*Sqrt[-a]*g)/(
Sqrt[c]*f + Sqrt[-a]*g)])/(((Sqrt[c]*d)/Sqrt[-a] + e)*(c*d^2 + a*e^2)*(e*f - d*g
)*Sqrt[f + g*x]*Sqrt[a + c*x^2]) - (3*(a*e^2*g - c*d*(2*e*f - 3*d*g))^2*Sqrt[(Sq
rt[c]*(f + g*x))/(Sqrt[c]*f + Sqrt[-a]*g)]*Sqrt[1 + (c*x^2)/a]*EllipticPi[(2*e)/
((Sqrt[c]*d)/Sqrt[-a] + e), ArcSin[Sqrt[1 - (Sqrt[c]*x)/Sqrt[-a]]/Sqrt[2]], (2*S
qrt[-a]*g)/(Sqrt[c]*f + Sqrt[-a]*g)])/(4*((Sqrt[c]*d)/Sqrt[-a] + e)*(c*d^2 + a*e
^2)^2*(e*f - d*g)^2*Sqrt[f + g*x]*Sqrt[a + c*x^2])

_______________________________________________________________________________________

Rubi [A]  time = 10.234, antiderivative size = 1257, normalized size of antiderivative = 1., number of steps used = 23, number of rules used = 10, integrand size = 28, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.357 \[ \frac{3 \left (a e^2 g-c d (2 e f-3 d g)\right ) \sqrt{f+g x} \sqrt{c x^2+a} e^2}{4 \left (c d^2+a e^2\right )^2 (e f-d g)^2 (d+e x)}-\frac{\sqrt{f+g x} \sqrt{c x^2+a} e^2}{2 \left (c d^2+a e^2\right ) (e f-d g) (d+e x)^2}+\frac{3 \sqrt{-a} \sqrt{c} \left (a e^2 g-c d (2 e f-3 d g)\right ) \sqrt{f+g x} \sqrt{\frac{c x^2}{a}+1} E\left (\sin ^{-1}\left (\frac{\sqrt{1-\frac{\sqrt{c} x}{\sqrt{-a}}}}{\sqrt{2}}\right )|-\frac{2 a g}{\sqrt{-a} \sqrt{c} f-a g}\right ) e}{4 \left (c d^2+a e^2\right )^2 (e f-d g)^2 \sqrt{\frac{\sqrt{c} (f+g x)}{\sqrt{c} f+\sqrt{-a} g}} \sqrt{c x^2+a}}-\frac{3 \sqrt{-a} \sqrt{c} f \left (a e^2 g-c d (2 e f-3 d g)\right ) \sqrt{\frac{\sqrt{c} (f+g x)}{\sqrt{c} f+\sqrt{-a} g}} \sqrt{\frac{c x^2}{a}+1} F\left (\sin ^{-1}\left (\frac{\sqrt{1-\frac{\sqrt{c} x}{\sqrt{-a}}}}{\sqrt{2}}\right )|-\frac{2 a g}{\sqrt{-a} \sqrt{c} f-a g}\right ) e}{4 \left (c d^2+a e^2\right )^2 (e f-d g)^2 \sqrt{f+g x} \sqrt{c x^2+a}}+\frac{3 \sqrt{-a} \sqrt{c} d g \left (a e^2 g-c d (2 e f-3 d g)\right ) \sqrt{\frac{\sqrt{c} (f+g x)}{\sqrt{c} f+\sqrt{-a} g}} \sqrt{\frac{c x^2}{a}+1} F\left (\sin ^{-1}\left (\frac{\sqrt{1-\frac{\sqrt{c} x}{\sqrt{-a}}}}{\sqrt{2}}\right )|-\frac{2 a g}{\sqrt{-a} \sqrt{c} f-a g}\right )}{4 \left (c d^2+a e^2\right )^2 (e f-d g)^2 \sqrt{f+g x} \sqrt{c x^2+a}}+\frac{\sqrt{-a} \sqrt{c} g \sqrt{\frac{\sqrt{c} (f+g x)}{\sqrt{c} f+\sqrt{-a} g}} \sqrt{\frac{c x^2}{a}+1} F\left (\sin ^{-1}\left (\frac{\sqrt{1-\frac{\sqrt{c} x}{\sqrt{-a}}}}{\sqrt{2}}\right )|-\frac{2 a g}{\sqrt{-a} \sqrt{c} f-a g}\right )}{2 \left (c d^2+a e^2\right ) (e f-d g) \sqrt{f+g x} \sqrt{c x^2+a}}-\frac{3 \left (a e^2 g-c d (2 e f-3 d g)\right )^2 \sqrt{\frac{\sqrt{c} (f+g x)}{\sqrt{c} f+\sqrt{-a} g}} \sqrt{\frac{c x^2}{a}+1} \Pi \left (\frac{2 e}{\frac{\sqrt{c} d}{\sqrt{-a}}+e};\sin ^{-1}\left (\frac{\sqrt{1-\frac{\sqrt{c} x}{\sqrt{-a}}}}{\sqrt{2}}\right )|\frac{2 \sqrt{-a} g}{\sqrt{c} f+\sqrt{-a} g}\right )}{4 \left (\frac{\sqrt{c} d}{\sqrt{-a}}+e\right ) \left (c d^2+a e^2\right )^2 (e f-d g)^2 \sqrt{f+g x} \sqrt{c x^2+a}}+\frac{c (e f-3 d g) \sqrt{\frac{\sqrt{c} (f+g x)}{\sqrt{c} f+\sqrt{-a} g}} \sqrt{\frac{c x^2}{a}+1} \Pi \left (\frac{2 e}{\frac{\sqrt{c} d}{\sqrt{-a}}+e};\sin ^{-1}\left (\frac{\sqrt{1-\frac{\sqrt{c} x}{\sqrt{-a}}}}{\sqrt{2}}\right )|\frac{2 \sqrt{-a} g}{\sqrt{c} f+\sqrt{-a} g}\right )}{\left (\frac{\sqrt{c} d}{\sqrt{-a}}+e\right ) \left (c d^2+a e^2\right ) (e f-d g) \sqrt{f+g x} \sqrt{c x^2+a}} \]

Warning: Unable to verify antiderivative.

[In]  Int[1/((d + e*x)^3*Sqrt[f + g*x]*Sqrt[a + c*x^2]),x]

[Out]

-(e^2*Sqrt[f + g*x]*Sqrt[a + c*x^2])/(2*(c*d^2 + a*e^2)*(e*f - d*g)*(d + e*x)^2)
 + (3*e^2*(a*e^2*g - c*d*(2*e*f - 3*d*g))*Sqrt[f + g*x]*Sqrt[a + c*x^2])/(4*(c*d
^2 + a*e^2)^2*(e*f - d*g)^2*(d + e*x)) + (3*Sqrt[-a]*Sqrt[c]*e*(a*e^2*g - c*d*(2
*e*f - 3*d*g))*Sqrt[f + g*x]*Sqrt[1 + (c*x^2)/a]*EllipticE[ArcSin[Sqrt[1 - (Sqrt
[c]*x)/Sqrt[-a]]/Sqrt[2]], (-2*a*g)/(Sqrt[-a]*Sqrt[c]*f - a*g)])/(4*(c*d^2 + a*e
^2)^2*(e*f - d*g)^2*Sqrt[(Sqrt[c]*(f + g*x))/(Sqrt[c]*f + Sqrt[-a]*g)]*Sqrt[a +
c*x^2]) + (Sqrt[-a]*Sqrt[c]*g*Sqrt[(Sqrt[c]*(f + g*x))/(Sqrt[c]*f + Sqrt[-a]*g)]
*Sqrt[1 + (c*x^2)/a]*EllipticF[ArcSin[Sqrt[1 - (Sqrt[c]*x)/Sqrt[-a]]/Sqrt[2]], (
-2*a*g)/(Sqrt[-a]*Sqrt[c]*f - a*g)])/(2*(c*d^2 + a*e^2)*(e*f - d*g)*Sqrt[f + g*x
]*Sqrt[a + c*x^2]) - (3*Sqrt[-a]*Sqrt[c]*e*f*(a*e^2*g - c*d*(2*e*f - 3*d*g))*Sqr
t[(Sqrt[c]*(f + g*x))/(Sqrt[c]*f + Sqrt[-a]*g)]*Sqrt[1 + (c*x^2)/a]*EllipticF[Ar
cSin[Sqrt[1 - (Sqrt[c]*x)/Sqrt[-a]]/Sqrt[2]], (-2*a*g)/(Sqrt[-a]*Sqrt[c]*f - a*g
)])/(4*(c*d^2 + a*e^2)^2*(e*f - d*g)^2*Sqrt[f + g*x]*Sqrt[a + c*x^2]) + (3*Sqrt[
-a]*Sqrt[c]*d*g*(a*e^2*g - c*d*(2*e*f - 3*d*g))*Sqrt[(Sqrt[c]*(f + g*x))/(Sqrt[c
]*f + Sqrt[-a]*g)]*Sqrt[1 + (c*x^2)/a]*EllipticF[ArcSin[Sqrt[1 - (Sqrt[c]*x)/Sqr
t[-a]]/Sqrt[2]], (-2*a*g)/(Sqrt[-a]*Sqrt[c]*f - a*g)])/(4*(c*d^2 + a*e^2)^2*(e*f
 - d*g)^2*Sqrt[f + g*x]*Sqrt[a + c*x^2]) + (c*(e*f - 3*d*g)*Sqrt[(Sqrt[c]*(f + g
*x))/(Sqrt[c]*f + Sqrt[-a]*g)]*Sqrt[1 + (c*x^2)/a]*EllipticPi[(2*e)/((Sqrt[c]*d)
/Sqrt[-a] + e), ArcSin[Sqrt[1 - (Sqrt[c]*x)/Sqrt[-a]]/Sqrt[2]], (2*Sqrt[-a]*g)/(
Sqrt[c]*f + Sqrt[-a]*g)])/(((Sqrt[c]*d)/Sqrt[-a] + e)*(c*d^2 + a*e^2)*(e*f - d*g
)*Sqrt[f + g*x]*Sqrt[a + c*x^2]) - (3*(a*e^2*g - c*d*(2*e*f - 3*d*g))^2*Sqrt[(Sq
rt[c]*(f + g*x))/(Sqrt[c]*f + Sqrt[-a]*g)]*Sqrt[1 + (c*x^2)/a]*EllipticPi[(2*e)/
((Sqrt[c]*d)/Sqrt[-a] + e), ArcSin[Sqrt[1 - (Sqrt[c]*x)/Sqrt[-a]]/Sqrt[2]], (2*S
qrt[-a]*g)/(Sqrt[c]*f + Sqrt[-a]*g)])/(4*((Sqrt[c]*d)/Sqrt[-a] + e)*(c*d^2 + a*e
^2)^2*(e*f - d*g)^2*Sqrt[f + g*x]*Sqrt[a + c*x^2])

_______________________________________________________________________________________

Rubi in Sympy [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{1}{\sqrt{a + c x^{2}} \left (d + e x\right )^{3} \sqrt{f + g x}}\, dx \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate(1/(e*x+d)**3/(g*x+f)**(1/2)/(c*x**2+a)**(1/2),x)

[Out]

Integral(1/(sqrt(a + c*x**2)*(d + e*x)**3*sqrt(f + g*x)), x)

_______________________________________________________________________________________

Mathematica [C]  time = 15.7331, size = 15233, normalized size = 12.12 \[ \text{Result too large to show} \]

Antiderivative was successfully verified.

[In]  Integrate[1/((d + e*x)^3*Sqrt[f + g*x]*Sqrt[a + c*x^2]),x]

[Out]

Result too large to show

_______________________________________________________________________________________

Maple [B]  time = 0.128, size = 20365, normalized size = 16.2 \[ \text{output too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int(1/(e*x+d)^3/(g*x+f)^(1/2)/(c*x^2+a)^(1/2),x)

[Out]

result too large to display

_______________________________________________________________________________________

Maxima [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{1}{\sqrt{c x^{2} + a}{\left (e x + d\right )}^{3} \sqrt{g x + f}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(1/(sqrt(c*x^2 + a)*(e*x + d)^3*sqrt(g*x + f)),x, algorithm="maxima")

[Out]

integrate(1/(sqrt(c*x^2 + a)*(e*x + d)^3*sqrt(g*x + f)), x)

_______________________________________________________________________________________

Fricas [F(-1)]  time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(1/(sqrt(c*x^2 + a)*(e*x + d)^3*sqrt(g*x + f)),x, algorithm="fricas")

[Out]

Timed out

_______________________________________________________________________________________

Sympy [F(-2)]  time = 0., size = 0, normalized size = 0. \[ \text{Exception raised: ValueError} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(1/(e*x+d)**3/(g*x+f)**(1/2)/(c*x**2+a)**(1/2),x)

[Out]

Exception raised: ValueError

_______________________________________________________________________________________

GIAC/XCAS [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{1}{\sqrt{c x^{2} + a}{\left (e x + d\right )}^{3} \sqrt{g x + f}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(1/(sqrt(c*x^2 + a)*(e*x + d)^3*sqrt(g*x + f)),x, algorithm="giac")

[Out]

integrate(1/(sqrt(c*x^2 + a)*(e*x + d)^3*sqrt(g*x + f)), x)